widget: Add forgotten push_group code
authorBenjamin Otte <otte@redhat.com>
Tue, 19 Jan 2016 03:24:32 +0000 (04:24 +0100)
committerBenjamin Otte <otte@redhat.com>
Tue, 19 Jan 2016 03:24:32 +0000 (04:24 +0100)
commitab5dbfd1f1fec1c8e62460236769ffd80cad4a54
tree230157fee59a87010637298934ca454c118ccff4
parent580ea227a6bb19ad6c6d4766b3a36dbad24583f3
widget: Add forgotten push_group code

... and remove the also forgotten void function that lingered around
with it.

Fixes opacity=0 parts like inactive spinners or sort indicators in
treeview headers being drawn since last commit.

Oops.
gtk/gtkwidget.c